搜索包含 IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing 的图书(共6748本)

	Proceedings 0 索取号：TP31-53/E9020/1983 作者：SOFTFAIR (1983 : Arlington、 Va.)、IEEE Computer Society.、United States. National Bureau of Standards.、ACM Sigsoft.、出版社：Silver Spring,MD New York, N.Y. : IEEE Computer Society Press, 1983.		Software for computer control 1986 : selected papers from the Fourth IFAC/IFIP Symposium, Graz, Austria, 20-23 May 1986 0 索取号：TP31-53/E9021/4 作者：IFAC/IFIP Symposium on Software for Computer Control (4th : 1986 : Graz、 Austria)、Florian、 D. (Doris)、Haase、 Volkmar、 1940-、International Federation of Automatic Control.、出版社：Oxford [Oxfordshire] ; New York : Published for the International Federation of Automatic Control by Pergamon Press, 1987.
	Real-Time Systems Symposium, December 1-3, 1987, Fairmont Hotel, San Jose, California : proceedings 0 索取号：TP31-53/E9015/1987 作者：Real-Time Systems Symposium (1987 : San Jose、 Calif.)、IEEE Computer Society.、出版社：Washington, D.C. : Computer Society Press of the IEEE ; Los Angeles, CA : Order from Computer Society of the IEEE, 1987.		Proceedings 0 索取号：TP302-53/E902/6 作者：Symposium on Reliability in Distributed Software and Database Systems (6th : 1987 : Williamsburg、 Va.)、IEEE Computer Society. TC on Distributed Processing.、出版社：Washington, D.C. : IEEE Computer Society Press, 1987.
	Symposium on Reliability in Distributed Software and Database Systems : proceedings, July 21-22, 1981, Holiday Inn Central (Greentree), Pittsburgh, PA 0 索取号：TP302-53/E902/1 作者：Symposium on Reliability in Distributed Software and Database Systems (1st : 1981 : Pittsburgh、 Pa.)、IEEE Computer Society.、Association for Computing Machinery.、出版社：N.Y. Los Angeles, CA (P.O. Box 80452, Los Angeles 90080) : IEEE Computer Society Press, 1981.		Performance evaluation of numerical software : proceedings of the IFIP TC 2.5 Working Conference on Performance Evaluation of Numerical Software 0 索取号：TP31-53/E806/1978 作者：IFIP TC 2.5 Working Conference on Performance Evaluation of Numerical Software (1978 : Baden、 Austria)、Fosdick、 Lloyd Dudley.、IFIP Technical Committee 2.5、 Programming (Numerical Software)、出版社：Amsterdam ; New York : North-Holland Pub. Co. ; New York : sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1979.
	Proceedings 0 索取号：TP31-53/E9031/1986 作者：IEEE Computer Society International Conference on Computer Languages (1986 : Miami、 Fl.)、IEEE Computer Society. Technical Committee on Computer Languages.、出版社：Washington, D.C. : IEEE Computer Society Press ; Los Angeles, CA : Order from IEEE Computer Society, 1986.		Proceedings, Real-Time Systems Symposium, December 6-8, 1983, Marriott Crystal Gateway Hotel, Arlington, Virginia 0 索取号：TP31-53/E9015/1983 作者：Real-Time Systems Symposium (1983 : Arlington、 Va.)、IEEE Computer Society.、出版社：Silver Spring, MD : IEEE Computer Society Press, 1984,c1983.
	Proceedings 0 索取号：TP31-53/E9015/1981 作者：Real-Time Systems Symposium (1981 : Miami Beach、 Fla.)、IEEE Computer Society. TC Data Acquisition and Control.、IEEE Computer Society. TC Distributed Computing.、出版社：N.Y. [S.l.] : IEEE Computer Society Press ; Los Angeles, CA : Order from IEEE Computer Society ; Piscataway, NJ : Order from IEEE Service Center, 1981.		Proceedings 0 索取号：TP302-53/E902/3 作者：Symposium on Reliability in Distributed Software and Database Systems (3rd : 1983 : Clearwater Beach、 Fla.)、IEEE Computer Society.、Association for Computing Machinery.、University of South Florida.、出版社：N.Y. Silver Spring, MD : IEEE Computer Society Press ; Los Angeles, CA : Order from IEEE Computer Society, 1983.
	FTCS : 13th annual international symposium, fault-tolerant computing : digest of papers : June 28-30, 1983, Palazzo Ex-Stelline, Milano, Italy 0 索取号：TP3-53/E908/13 作者：International Symposium on Fault-Tolerant Computing (13th : 1983 : Milan、 Italy)、IEEE Computer Society. Fault-Tolerant Technical Committee.、出版社：Silver Spring, MD : IEEE Computer Society Press, c1983.		Modern guide to digital logic : processors, memories & interfaces 0 索取号：TP331.1-62/E802 作者：United Technical Publications.、出版社：Blue Ridge Summit, Pa. : G/L Tab Books, 1976.
	CompEuro 1992 proceedings : computer systems and software engineering, May 4-8, 1992, the Netherlands 0 索取号：TP31-53/E992/6 作者：Comp Euro (6th : 1992 : Hague、 Netherlands)、Dewilde、 P.、Vandewalle、 J. (Joos)、 1948-、IEEE Computer Society.、Institute of Electrical and Electronics Engineers. Region 8.、IEEE Benelux.、出版社：Los Alamitos, Calif. : IEEE Computer Society Press, 1992.		Digest of papers : intellectual leverage 0 索取号：TP31-53/E9032/1988 作者：Compcon (33rd : 1988 : San Francisco、 Calif.)、IEEE Computer Society.、出版社：Silver Spring Washington, D.C. : Computer Society Press of the IEEE ; Los Angeles, CA : Order from Computer Society of the IEEE, 1988.
	Intellectual leverage the driving technologies : digest of papers, Compcon Spring 84, February 27-March 1, twenty-eighth IEEE Computer Society International Conference, Meridien Hotel, San Francisco, California 0 索取号：TP31-53/E9032/1984 作者：Compcon (28th : 1984 : San Francisco、 Calif.)、IEEE Computer Society.、出版社：N.Y. Los Alamitos, CA : IEEE Computer Society Press ; Los Angeles, CA : Order from IEEE Computer Society, 1984.		Computer program testing : proceedings of the Summer School on Computer Program Testing held at SOGESTA, Urbino, Italy, June 29-July 3, 1981 0 索取号：TP31-53/E905/1981 作者：Summer School on Computer Program Testing (1981 : Urbino、 Italy)、Chandrasekaran、 B.、 1942-、Radicchi、 S. (Sergio)、出版社：Amsterdam ; New York : North-Holland Pub. Co. ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1981.

	Proceedings 0 索取号：TP31-53/E9020/1983 作者：SOFTFAIR (1983 : Arlington、 Va.)、IEEE Computer Society.、United States. National Bureau of Standards.、ACM Sigsoft.、出版社：Silver Spring,MD New York, N.Y. : IEEE Computer Society Press, 1983.		Software for computer control 1986 : selected papers from the Fourth IFAC/IFIP Symposium, Graz, Austria, 20-23 May 1986 0 索取号：TP31-53/E9021/4 作者：IFAC/IFIP Symposium on Software for Computer Control (4th : 1986 : Graz、 Austria)、Florian、 D. (Doris)、Haase、 Volkmar、 1940-、International Federation of Automatic Control.、出版社：Oxford [Oxfordshire] ; New York : Published for the International Federation of Automatic Control by Pergamon Press, 1987.
	Real-Time Systems Symposium, December 1-3, 1987, Fairmont Hotel, San Jose, California : proceedings 0 索取号：TP31-53/E9015/1987 作者：Real-Time Systems Symposium (1987 : San Jose、 Calif.)、IEEE Computer Society.、出版社：Washington, D.C. : Computer Society Press of the IEEE ; Los Angeles, CA : Order from Computer Society of the IEEE, 1987.		Proceedings 0 索取号：TP302-53/E902/6 作者：Symposium on Reliability in Distributed Software and Database Systems (6th : 1987 : Williamsburg、 Va.)、IEEE Computer Society. TC on Distributed Processing.、出版社：Washington, D.C. : IEEE Computer Society Press, 1987.
	Symposium on Reliability in Distributed Software and Database Systems : proceedings, July 21-22, 1981, Holiday Inn Central (Greentree), Pittsburgh, PA 0 索取号：TP302-53/E902/1 作者：Symposium on Reliability in Distributed Software and Database Systems (1st : 1981 : Pittsburgh、 Pa.)、IEEE Computer Society.、Association for Computing Machinery.、出版社：N.Y. Los Angeles, CA (P.O. Box 80452, Los Angeles 90080) : IEEE Computer Society Press, 1981.		Performance evaluation of numerical software : proceedings of the IFIP TC 2.5 Working Conference on Performance Evaluation of Numerical Software 0 索取号：TP31-53/E806/1978 作者：IFIP TC 2.5 Working Conference on Performance Evaluation of Numerical Software (1978 : Baden、 Austria)、Fosdick、 Lloyd Dudley.、IFIP Technical Committee 2.5、 Programming (Numerical Software)、出版社：Amsterdam ; New York : North-Holland Pub. Co. ; New York : sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1979.
	Proceedings 0 索取号：TP31-53/E9031/1986 作者：IEEE Computer Society International Conference on Computer Languages (1986 : Miami、 Fl.)、IEEE Computer Society. Technical Committee on Computer Languages.、出版社：Washington, D.C. : IEEE Computer Society Press ; Los Angeles, CA : Order from IEEE Computer Society, 1986.		Proceedings, Real-Time Systems Symposium, December 6-8, 1983, Marriott Crystal Gateway Hotel, Arlington, Virginia 0 索取号：TP31-53/E9015/1983 作者：Real-Time Systems Symposium (1983 : Arlington、 Va.)、IEEE Computer Society.、出版社：Silver Spring, MD : IEEE Computer Society Press, 1984,c1983.
	Proceedings 0 索取号：TP31-53/E9015/1981 作者：Real-Time Systems Symposium (1981 : Miami Beach、 Fla.)、IEEE Computer Society. TC Data Acquisition and Control.、IEEE Computer Society. TC Distributed Computing.、出版社：N.Y. [S.l.] : IEEE Computer Society Press ; Los Angeles, CA : Order from IEEE Computer Society ; Piscataway, NJ : Order from IEEE Service Center, 1981.		Proceedings 0 索取号：TP302-53/E902/3 作者：Symposium on Reliability in Distributed Software and Database Systems (3rd : 1983 : Clearwater Beach、 Fla.)、IEEE Computer Society.、Association for Computing Machinery.、University of South Florida.、出版社：N.Y. Silver Spring, MD : IEEE Computer Society Press ; Los Angeles, CA : Order from IEEE Computer Society, 1983.
	FTCS : 13th annual international symposium, fault-tolerant computing : digest of papers : June 28-30, 1983, Palazzo Ex-Stelline, Milano, Italy 0 索取号：TP3-53/E908/13 作者：International Symposium on Fault-Tolerant Computing (13th : 1983 : Milan、 Italy)、IEEE Computer Society. Fault-Tolerant Technical Committee.、出版社：Silver Spring, MD : IEEE Computer Society Press, c1983.		Modern guide to digital logic : processors, memories & interfaces 0 索取号：TP331.1-62/E802 作者：United Technical Publications.、出版社：Blue Ridge Summit, Pa. : G/L Tab Books, 1976.
	CompEuro 1992 proceedings : computer systems and software engineering, May 4-8, 1992, the Netherlands 0 索取号：TP31-53/E992/6 作者：Comp Euro (6th : 1992 : Hague、 Netherlands)、Dewilde、 P.、Vandewalle、 J. (Joos)、 1948-、IEEE Computer Society.、Institute of Electrical and Electronics Engineers. Region 8.、IEEE Benelux.、出版社：Los Alamitos, Calif. : IEEE Computer Society Press, 1992.		Digest of papers : intellectual leverage 0 索取号：TP31-53/E9032/1988 作者：Compcon (33rd : 1988 : San Francisco、 Calif.)、IEEE Computer Society.、出版社：Silver Spring Washington, D.C. : Computer Society Press of the IEEE ; Los Angeles, CA : Order from Computer Society of the IEEE, 1988.
	Intellectual leverage the driving technologies : digest of papers, Compcon Spring 84, February 27-March 1, twenty-eighth IEEE Computer Society International Conference, Meridien Hotel, San Francisco, California 0 索取号：TP31-53/E9032/1984 作者：Compcon (28th : 1984 : San Francisco、 Calif.)、IEEE Computer Society.、出版社：N.Y. Los Alamitos, CA : IEEE Computer Society Press ; Los Angeles, CA : Order from IEEE Computer Society, 1984.		Computer program testing : proceedings of the Summer School on Computer Program Testing held at SOGESTA, Urbino, Italy, June 29-July 3, 1981 0 索取号：TP31-53/E905/1981 作者：Summer School on Computer Program Testing (1981 : Urbino、 Italy)、Chandrasekaran、 B.、 1942-、Radicchi、 S. (Sergio)、出版社：Amsterdam ; New York : North-Holland Pub. Co. ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1981.